Wyniki wyszukiwania
Formal Aspects of Computing > 2018 > 30 > 6 > 659-684
Automated Software Engineering > 2018 > 25 > 4 > 917-960
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 351-364
Nonlinear Dynamics > 2018 > 93 > 2 > 887-908
Automated Software Engineering > 2018 > 25 > 3 > 531-568
Information Sciences > 2018 > 422 > C > 318-335
Journal of Systems and Software > 2017 > 125 > C > 322-343
Formal Aspects of Computing > 2017 > 29 > 2 > 335-364
IEEE Transactions on Computers > 2016 > 65 > 6 > 1896 - 1909